Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
321	GAMS – Academic Price List – March 15, 2016 This price list includes the required Base Module and a number of optional solvers. The prices shown are for an unrestricted, perpetual named single user license on a speci Add to Reading List Source URL: gams.de Language: English - Date: 2016-07-29 05:00:04 Numerical software Mathematical optimization Computer file formats SCIP Gurobi BARON Linear programming Artelys Knitro Gams MPS NEOS Server MINOS
322	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction
323	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function
324	¨ ETH Zurich Computer Science Department Prof. Marc Pollefeys Prof. Luc Van Gool Add to Reading List Source URL: cvg.ethz.ch Language: English - Date: 2015-10-06 15:12:50 Stereophotogrammetry Operations research Fundamental matrix Essential matrix Epipolar geometry Triangulation Eight-point algorithm Matrix Camera matrix Linear programming Reprojection error Mathematical optimization
325	Dynamic Aerospace Vehicle Exchange Markup Language (DAVE-ML) Reference Version Add to Reading List Source URL: daveml.org Language: English - Date: 2011-03-31 09:24:39 Markup languages Technical communication HTML Functional languages Procedural programming languages MathML Document type definition HTML element Mathematical model ML
326	CS261: Problem Set #3 Due by 11:59 PM on Tuesday, February 23, 2016 Instructions: (1) Form a group of 1-3 students. You should turn in only one write-up for your entire group. (2) Submission instructions: We are using Gr Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2016-02-24 10:23:04 Operations research Linear programming Mathematical optimization Convex optimization Algorithm Candidate solution Simplex algorithm Linear programming relaxation
327	Grothendieck Inequalities, Nonlocal Games and Optimization Jop Briët Grothendieck Inequalities, Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-08-10 06:15:57 University of Amsterdam Mathematical optimization Inequalities Quantum mechanics Institute for Logic Language and Computation Semidefinite programming Grothendieck inequality Quantum entanglement
328	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2011-09-03 11:02:00 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
329	Combining Constraint Programming, Lagrangian Relaxation and Probabilistic Algorithms to solve the Vehicle Routing Problem Daniel Guimarans1 , Rosa Herrero1 , Daniel Riera2 , Angel A. Juan2 , and Juan Jos´e Ramos1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 03:15:30 Operations research Mathematical optimization Search algorithms NP-complete problems Combinatorial optimization Variable neighborhood search Vehicle routing problem Travelling salesman problem Heuristic A* search algorithm Lagrangian relaxation Local search
330	From Convex Optimization to Randomized Mechanisms: Toward Optimal Combinatorial Auctions∗ Shaddin Dughmi† Tim Roughgarden‡ Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2011-10-07 01:19:59 Operations research Linear programming Convex optimization Combinatorial optimization Computational complexity theory Submodular set function Randomized rounding Optimization problem Matroid Ellipsoid method Mathematical optimization Mechanism design

UPDATE